CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 173 a 192 di 323
Titolo Data di pubblicazione Autore(i) File
Narrative Annotation and Editing of Video 2010 Vincenzo Lombardo; Rossana Damiano
Narrative Scenarios as a Testbed for Moral AgentsIntelligent Virtual Agents 2014 Cristina Battaglino; Rossana Damiano
Narrowing and Resolution in Logic-Functional Programming Languages 1988 E. Giovannetti
A network aware resource discovery service (a performance evaluation study) 2019 L. Liquori; R. Gaeta; M. Sereno
A New Parallel Benchmark for Performance Evaluation and Energy Consumption 2019 Adriano Marques Garcia, Claudio Schepke, Alessandro Gonçalves Girardi & Sherlon Almeida da Silva
Notes on the Elimination of Conditions 1987 E. Giovannetti; C. Moiso
A novel RSA-like cryptosystem based on a generalization of Redei rational functions 2018 Murru Nadir; Saettone Francesco
NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data 2015 Tordini, Fabio; Drocco, Maurizio; Merelli, Ivan; Milanes, Luciano; Liò, Pietro; Aldinucci, Marco.
Numeric Kernel for Reasoning about Plans Involving Numeric Fluents 2013 Enrico Scala
Object Incompleteness and Dynamic Composition in Java-Like Languages 2008 Lorenzo Bettini; Viviana Bono; Betti Venneri
On evaluating graph partitioning algorithms for distributed agent based models on networks 2015 Antelmi A.; Cordasco G.; Spagnuolo C.; Vicidomini L.
On Global Types and Multi-Party Sessions 2011 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
On Isomorphisms of Intersection Types 2008 Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 2012 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 2008 Marco Comini; Ferruccio Damiani; Samuel Vrech
On Progress for Structured Communications 2008 Mariangiola Dezani; Ugo de' Liguoro; Nobuko Yoshida
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 2003 Padovani, Luca
On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process 2009 L. Napione; D. Manini; F. Cordero; A. Horvath; A. Picco; M. De Pierro; S. Pavan; M. Sereno; A. Veglio; F. Bussolino; G. Balbo
Ontology–Based Visualization of Characters’ Intentions 2014 V. Lombardo; A. Pizzo
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed 2017 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
Mostrati risultati da 173 a 192 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile